Coq インストール
#Fleeting_Notes
Coq インストール(Coq install)
Install Coq | The Coq Proof Assistant
ソースからインストールする場合はINSTALL.mdを見る
coq/INSTALL.md at master · coq/coq
Coq/SSReflect/MathCompのインストール方法まとめ（Windows） - IB-Note
Coq Platform
というものがあるらしい
platform/doc/README_Windows.md at main · coq/platform
調査用
/pogi-log/Google.icon
Coq インストール(日)
/pogi-log/Google.icon
Coq install(英)